41. Constrained dynamics : with applications to Yang-Mills theory, general relativity,, classical spin, dual string model
پدیدآورنده : Sundermeyer, Kurt, 3491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Quantum field theory,، Constraints )Physics(
رده :
QC
3
.
L28
Vol
.
169
42. Continuous model theory
پدیدآورنده : Chang, Chen Chung
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
1
.
A626
no
.
58
43. Continuous model theory
پدیدآورنده : / by Chen Chung Chang, H. Jerome Keisler
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Logic, symbolic and mathematical
رده :
QA9
.
C48
44. Contract theory in continuous-time model
پدیدآورنده : / Jak??a Cvitani??, Jianfeng Zhang
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Finance, Mathematical models,Stochastic control theory,Electronic books
رده :
E-BOOK
45. Definable additive categories : purity and model theory
پدیدآورنده : Prest, Mike
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Abelian categories,، Model theory
رده :
QA
3
.
A475
no
.
987
46. Differential operator equations : a method of model operators in the theory of boundary value problems
پدیدآورنده : Dezin, Aleksei Alekseevich
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Differential equations, Linear,، Difference operators
رده :
QA
1
.
P736
Vol
.
229
47. Economic Growth in the Regions of Europ Theory and Empirical Evidence from a Spatial Growth Model
پدیدآورنده : Sardadvar, SaschaAuthor.,]electronic resource[
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Electronic books,، Europe, Economic Conditions,، Neoclassical School of Economics,، Business & Economics, Economic Conditions,، Business & Economics, Economics, Theory
رده :
HC
240
48. Economic growth in the regions of europe :theory and empirical evidence from a spatial growth model
پدیدآورنده : Sardadvar, Sascha
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Regional planning--Europe.
رده :
HC
103
.
S23
2011
49. Elementary end extensions in model theory and set theory
پدیدآورنده : by: Shahram Mohsenipour,^AMohsenipour, Shahram
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Logic, Symbolic and mathematical,Model theory,Set theory
50. Elements of Finite Model Theory
پدیدآورنده : libkin ,leonid
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Model Theory
رده :
EBOOK
,
QA
L53
9
.
7
51. Elements of finite model theory
پدیدآورنده : Libkin, Leonid.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Model theory
رده :
QA
9
.
7
.
L53
2004
52. Elements of mathematical logic ; model theory
پدیدآورنده : Kreisel, Georg
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematical models
رده :
QA
9
.
K772
1971
53. Essays in the Theory of Economic Regulation: A Variety Model for Economics and Law
پدیدآورنده : \ By Cosmo Kenningham Marchant
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
54. Explicit nonlinear model predictive control :theory and applications
پدیدآورنده : Grancharova, Alexandra Ivanova.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : ، Nonlinear control theory
رده :
TJ
217
.
6
.
G73
55. Finite and Algorithmic Model Theory
پدیدآورنده : / Esparza/Michaux/Steinhorn
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, THEORY
رده :
E-BOOK
56. Finite and algorithmic model theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Finite model theory. ;
57. Finite and algorithmic model theory
پدیدآورنده : edited by Javier Esparza, Christian Michaux, Charles Steinhorn
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Finite model theory,Mathematics ، Computer science
رده :
QA
9
.
7
.
F565
2011
58. Finite and algorithmic model theory
پدیدآورنده : edited by Javier Esparza, Christian Michaux, Charles Steinhorn
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Finite model theory,، Computer science -- Mathematics
رده :
QA
9
.
7
.
F562
59. Finite model theory
پدیدآورنده : Ebbinghaus, Heinz-Dieter, 9391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
E22F5
2006
60. Finite model theory
پدیدآورنده : Ebbinghaus, Heinz-Dieter, 9391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
E22F5